Jean-Christophe Filliâtre: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (7)
Più popolari
Lista
- Lista
- Tabella

1

Informatique - MP2I/MPI - CPGE 1re et 2e années

Informatique - MP2I/MPI - CPGE 1re et 2e années

Thibaut Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre

Anno:

2022

Lingua:

french

File:

PDF, 4.20 MB

5.0 / 5.0

french, 2022

2

Numérique et sciences informatiques

Numérique et sciences informatiques

Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen

Anno:

2019

Lingua:

french

File:

DJVU, 8.24 MB

4.0 / 3.0

french, 2019

3

Apprendre à programmer avec Ocaml: Algorithmes et structures de données. (Noire) (French Edition)

Apprendre à programmer avec Ocaml: Algorithmes et structures de données. (Noire) (French Edition)

Conchon, Sylvain, Filliâtre, Jean-Christophe

Anno:

2014

Lingua:

french

File:

PDF, 95.62 MB

0 / 0

french, 2014

4

Apprendre à programmer avec Ocaml

Apprendre à programmer avec Ocaml

Editions Eyrolles

Sylvain Conchon & Jean-Christophe Filliâtre

Anno:

2014

Lingua:

french

File:

EPUB, 6.58 MB

0 / 5.0

french, 2014

5

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 2.35 MB

0 / 0

english, 2006

6

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 2.07 MB

0 / 0

english, 2006

7

Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 5.52 MB

0 / 0

english, 2013